Toward Complexity Measures for Systems Involving Human Computation
نویسندگان
چکیده
منابع مشابه
Toward Complexity Measures for Systems Involving Human Computation
This paper introduces the Human Oracle Model as a method for characterizing and quantifying the use of human processing power as part of an algorithmic process. The utility of this model is demonstrated through a comparative algorithmic analysis of several well-known human computation systems, as well as the definition of a preliminary characterization of the space of human computation under th...
متن کاملToward practical argument systems for verifiable computation
viii Chapter Introduction Chapter Related work . Approaches that make assumptions about failure modes . . . . . . . . . . . . . Approaches that apply to a restricted class of computations . . . . . . . . . . . General solutions that are not geared toward practice . . . . . . . . . . . . . . Systems that share an ethos with Zaatar and Pantry . . . . . . . . . . . . . . . ...
متن کاملToward Practical Measures of Complexity in Real Time Modeling Methods
Systems development methods have become more complex, concurrently with many of today’s systems. UML has been criticized for its complexity. Using Rossi and Brinkkemper’s (1996) complexity metrics, Siau and Cao, (2001) completed a complexity analysis of UML and other modeling techniques, finding that UML is more complex than other techniques. Siau, Erickson and Lee (2002) proposed that Rossi an...
متن کاملToward a dynamical theory of human computation
We maintain that agent-environment dynamics is cucial even in activities, like algorithm execution, which are ordinarily conceived in terms of exclusively internal resources. In this paper, we in fact outline the principles of a dynamical theory of human computation, intended as any activity of a human being that consists in executing a purely mechanical procedure.
متن کاملchannel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Human Computation
سال: 2014
ISSN: 2330-8001
DOI: 10.15346/hc.v1i1.25